Erros: tipo(T), modo(M), dominio(D), semanticos(aparte)




----------------------------------------------------------------


--

STACK_CLEAR


stack_clear(5) - T


stack_clear(NONSENSE) - M


--

STACK_NEW


stack_new(5) - T


--

STACK_DELETE


stack_delete(5) - T


stack_delete(NONSENSE) - M


--


STACK_POP



stack_pop(5, T) - T


stack_pop(NONSENSE, T) - M


--


STACK_POP



stack_peek(5, T) - T


stack_peek(NONSENSE, T) - M


--


STACK_PUSH



stack_push(5, T) - T


stack_push(NONSENSE, T) - M


--

STACK_WRITE



stack_write(5) - T


stack_write(NONSENSE) - M


